logic notation - Spanisch Englisch Wörterbuch